/* ================================================================ */
/* ICommunicate.h                                                   */
/* Usage: Provide messager interface                                */ 
/* Create Date: 2008-07-28											*/
/* Creator: MaJiuyue        										*/
/* Interface:														*/
/*	  void send(u16 to, u16 from, u32 msg_addr)						*/
/*	  void receive(u16 to, u16 from, u32 msg_addr)					*/
/* ================================================================ */
#ifndef _ICOMMUNICATE_H_
#define _ICOMMUNICATE_H_

#include <type.h>

class ICommunicate
{
public:
	/* interface send message */
	virtual void send(pid_t to, pid_t from, u32 msg_addr) = 0;
	/* interface for receive message */
	virtual void receive(pid_t to, pid_t from, u32 msg_addr) = 0;
};

#endif

